Some Extensions of the Moore-Myhill Garden of Eden Theorem

نویسنده

  • Michel Coornaert
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Garden of Eden theorem: old and new

We review topics in the theory of cellular automata and dynamical systems that are related to the Moore-Myhill Garden of Eden theorem.

متن کامل

Proceedings of JAC 2010 Journées Automates Cellulaires

The Moore-Myhill Garden of Eden theorem asserts that a cellular automaton with finite alphabet over a free abelian group of rank 2 is surjective if and only if it is pre-injective. Here, pre-injectivity means that two configurations which coincide outside of a finite subset of the group must coincide everywhere if they have the same image under the cellular automaton. The Garden of Eden theorem...

متن کامل

Inverse and Injectivity of Parallel Relations Induced by Cellular Automata

Moore and Myhill showed that Garden-of-Eden theorem [2], [3]. A binary relation over the configurations is said to be "parallel" if it is induced by a cellular (tessellation) automaton. Richardson showed the equivalence between a parallel relation (a nondeterministic parallel map) with the quiescent state to be injective and its inverse to be parallel by the Garden-of-Eden theorem plus compactn...

متن کامل

The Garden-of-eden Theorem for Finite Configurations

In [l] Moore showed that the existence of mutually erasable configurations in a two-dimensional tessellation space is sufficient for the existence of Garden-of-Eden configurations. In [2 ] Myhill showed that the existence of mutually indistinguishable configurations is both necessary and sufficient for the existence of Garden-of-Eden configurations. After redefining the basic concepts with some...

متن کامل

Kolmogorov Complexity and the Garden of Eden Theorem

Suppose τ is a cellular automaton over an amenable group and a finite alphabet. Celebrated Garden of Eden theorem states, that pre-injectivity of τ is equivalent to non-existence of Garden of Eden configuration. In this paper we will prove, that imposing some mild restrictions , we could add another equivalent assertion: non-existence of Garden of Eden configuration is equivalent to preservatio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010